To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the discourse unfolds. We introduce a framework with these properties, which has been used to analyse mathematical dialogues and expository texts. The framework can recover salient elements of discourse at, and within, the sentence level, as well as the way mathematical content connects to form larger argumentative structures. (...) We show how the framework might be used to support computational reasoning, and argue that it provides a more natural way to examine the process of proving theorems than do Lamport’s structured proofs. (shrink)

In this paper, I endeavor to provide a critical examination of a recent pioneering work that engages Jean-Paul Sartre’s insights in analyzing social media interactions – Michael Lopato’s “Social media, love, and Sartre’s look of the other: Why online communication is not fulfilling?”. I shall show that in so far as Sartrean insights are concerned in Being and Nothingness, Lopato misconstrued what Sartre really meant with the Look of the Other and love, and is mistaken in appropriating such insights in (...) arguing that online interactions are not fulfilling. I shall proceed by first discussing Sartre’s third region of being which is being-for-others which will comprise of the Look of the Other and the two attitudes to retrieve one’s freedom. Second, I shall flesh out the arguments of Lopato. Lastly, I shall present my critique of Lopato’s arguments which constitutes my reply to his work. (shrink)

In this paper, we contend that the “Smith case” in Gettier’s attempt to refute the justified true belief (JTB) account of knowledge does not work. This is because the said case fails to satisfy the truth condition, and thus is not a case of JTB at all. We demonstrate this claim using the framework of Donnellan’s distinction between the referential and attributive uses of definite descriptions. Accordingly, the truth value of Smith’s proposition “The man who will get the job has (...) ten coins in his pocket” partly depends on how Smith uses the definite description “the man who will get the job” when he utters the proposition. Since, upon uttering the proposition, Smith has in mind a particular individual, namely Jones, and not just whoever will fit the attribute specified in the definite description, Smith uses the definite description referentially. And so when it turns out that it is Smith who eventually gets the job, the definite description fails to refer to Jones as intended by Smith, thereby making Smith’s proposition false. To think that Smith’s proposition is still true, in this regard, is to use the definite description attributively—that it is about whoever will fit the definite description. Apparently, when Gettier claims that Smith’s proposition is still true, to demonstrate that it is a case of JTB, he, in effect, imposes his attributive understanding of Smith’s usage of the definite description on Smith’s own epistemic situation. (shrink)

In this paper, I will argue that embodied presence and ultimate commitments are not necessary for the authenticity of online relationships. In the first section, I will present Hubert Dreyfus’s Kierkegaardian analysis of the Internet. In the second, I will show the different positions that disagree with Dreyfus. And finally, in the third, I will look into the distinction between human to human and human to nonhuman online interactions, the continuity or discontinuity of the online and the offline relationships of (...) persons, and the forms of the relationship that occurred. From that analysis, I will derive some cases that will show the inadequacies and problems of the conditions presented by Dreyfus. (shrink)

When the COVID-19 surge hit New York City hospitals, the Division of Medical Ethics at Weill Cornell Medical College, and our affiliated ethics consultation services, faced waves of ethical issues sweeping forward with intensity and urgency. In this article, we describe our experience over an eight-week period (16 March through 10 May 2020), and describe three types of services: clinical ethics consultation (CEC); service practice communications/interventions (SPCI); and organizational ethics advisement (OEA). We tell this narrative through the prism of time, (...) describing the evolution of ethical issues and trends as the pandemic unfolded. We delineate three phases: anticipation and preparation, crisis management, and reflection and adjustment. The first phase focused predominantly on ways to address impending resource shortages and to plan for remote ethics consultation, and CECs focused on code status discussions with surrogates. The second phase was characterized by the dramatic convergence of a rapid increase in the number of critically ill patients, a growing scarcity of resources, and the reassignment/ redeployment of staff outside their specialty areas. The third phase was characterized by the recognition that while the worst of the crisis was waning, its medium- and long-term consequences continued to pose immense challenges. We note that there were times during the crisis that serving in the role of clinical ethics consultant created a sense of dis-ease as novel as the coronavirus itself. In retrospect we learned that our activities far exceeded the familiar terrain of clinical ethics consultation and extended into other spheres of organizational life in novel ways that were unanticipated before this pandemic. To that end, we defined and categorized a middle level of ethics consultation, which we have termed service practice communication intervention (SPCI). This is an underappreciated dimension of the work that ethics consult services are capable of in times of crisis. We believe that the pandemic has revealed the many enduring ways that ethics consultation services can more robustly contribute to the ethical life of their institutions moving forward. (shrink)

This report documents the program and the outcomes of Dagstuhl Seminar 21381 "Conversational Agent as Trustworthy Autonomous System ". First, we present the abstracts of the talks delivered by the Seminar’s attendees. Then we report on the origin and process of our six breakout groups. For each group, we describe its contributors, goals and key questions, key insights, and future research. The themes of the groups were derived from a pre-Seminar survey, which also led to a list of suggested readings (...) for the topic of trust in conversational agents. The list is included in this report for references. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:184 BOOK REVIEWS knower, one may avoid undercutting the position that the cognitive powers are passive, without failing to do justice to the fact that aware· ness and discrimination are activities of the knower {pp. 71-72; 148· 49, n. 6). Second, Kai holds that the individual human being cannot really he said to have intuitive mind in himself: "Man has mind; hut only to a certain degree and without (...) mind losing its independence from the human whole.... the divine mind is present in man without los· ing its character of divine mind " (p. 75). If only God has intuitive mind {pp. 155, n. 32; 156-57, n. 13), how can the individual human being really know, even in the sense of having discursive thought? Since knowledge depends on first principles, what does not possess the intuitive mind which knows the first principles would, it seems, not properly have knowledge. The only hope for a definitive interpretation of the disconcertingly brief De Anima, 3. 5, lies in the possibility that one can establish a definite connection between this chapter and other elements in the Aris· totelian corpus, a connection that would elucidate the otherwise in· scrutable teaching on active mind. It is the great merit of Kai to have made an excellent case for a connection between De Anima, 3. 5, and two other elements in the Aristotelian corpus: nous as it functions in the logic and epistemology, and the unmoved mover of Metaphysics, Lambda. Exploring this connection in a penetrating and thorough analysis of a great body of Aristotelian and secondary te~ts, Kai has not merely taken a position on a more than two-thousand-year-old con· troversy, hut also has decisively advanced our understanding of active mind. St. John's University Jamaica, New York JAMES T. H. MARTIN Anselm Studies: An Occasional Journal. Vol. 2. Edited by JosEPH ScHNAUBELT, OSA, et al., White Plains, New York: Kraus Inter· national Publications, 1988. Pp. 634. $55.00. This volume contains the proceedings of the Fifth International Saint Anselm Conference (Villanova University, September 16-21, 1985). Held in conjunction with the Tenth International Patristic, Medieval, and Renaissance Conference, the meeting occasioned papers concen· trating on areas of "influence and juncture" in the life and thought of St. Anselm and St. Augustine. Given the dependence of much of Anselm's work on the thought of St. Augustine, the Conference took as its particular objective the understanding of the relationship between BOOK REVIEWS 185 faith and reason. While the focus of the papers in this volume includes both saints, the principal emphasis falls on Anselm as inheritor and interpretor of the methods and ideas of his intellectual ancestor. A brief introduction provides cameo presentations of Anselm's character as abbot, monk, and archbishop, together with a conspectus on Anselm's position vis-a-vis the canonical and ecclesiological issues of his day. The papers are then divided into five chapters: "Anselm's Monasticism." "The Proslogion Argument," "Truth: Anselm and Augustine," "Theological Method," and "The Anselmian Worldview." While the papers are of use to scholarly readers desiring detailed treatment of central issues in Anselm's logic and epistemology, the un· doubted strength of the collection lies in its well-calculated effort to integrate an understanding of Anselm's intellectual and spiritual out· look with the theological, spiritual, and literacy currents of his time. Especially for the historian of intellect and society, the essays in this volume provide analysis that advances our understanding of the cultural context of the 11th and 12th centuries. The contribution to our understanding of Anselm's culture is par· ticularly clear in the first and fourth divisions of the volume, the sec· tions dealing with monasticism and Anselm's worldview. In the former division, Glenn Olsen's assessment of " Anselm and Homosexuality" neatly evaluates the evidence for Anselm's sexual orientation made controversial by John Boswell's Christianity, Social Tolerance, and Homosexuality. In fact, the present article, together with its notes, provides a useful summary of the critical literature which has grown up of late around the Boswellian thesis as well as the study of literary expressions of affection in the 11th and 12th centuries. Olsen grasps the... (shrink)

Although clinical ethics consultation is a high-stakes endeavor with an increasing prominence in health care systems, progress in developing standards for quality is challenging. In this article, we describe the results of a pilot project utilizing portfolios as an evaluation tool. We found that this approach is feasible and resulted in a reasonably wide distribution of scores among the 23 submitted portfolios that we evaluated. We discuss limitations and implications of these results, and suggest that this is a significant step (...) on the pathway to an eventual certification process for clinical ethics consultants. (shrink)

Employee reporting dishonesty is a significant area of concern for firms. In this study, we investigate how providing information about their prosocial actions, such as organizational citizenship behaviors, affects the extent of employee reporting dishonesty. We distinguish prosocial actions whose welfare effects are mutually beneficial (i.e., that help others and the employee), which are common in business practice, from those that are selfless in nature (i.e., that help others at a personal cost to the employee). In addition to examining the (...) effect of the type of prosocial action on the extent of employee reporting dishonesty, we also examine the effect of construal (the manner in which individuals perceive and interpret the action). Using an experiment, we find that participants with high moral identity are less dishonest when they describe their selfless prosocial actions than when they describe their mutually beneficial prosocial actions, but only when they abstractly construe this information. However, we do not find evidence that the reporting dishonesty of participants with low moral identity is influenced by the type of prosocial action they provide information about or the construal of that information. We discuss implications of these results for theory and practice. (shrink)

The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.

Solid state physics, the study of the physical properties of solid matter, was the most populous subfield of Cold War American physics. Despite prolific contributions to consumer and medical technology, such as the transistor and magnetic resonance imaging, it garnered less professional prestige and public attention than nuclear and particle physics. Solid State Insurrection argues that solid state physics was essential to securing the vast social, political, and financial capital Cold War physics enjoyed in the twentieth century. Solid state’s technological (...) bent, and its challenge to the “pure science” ideal many physicists cherished, helped physics as a whole respond more readily to Cold War social, political, and economic pressures. Its research kept physics economically and technologically relevant, sustaining its cultural standing and policy influence long after the sheen of the Manhattan Project had faded. (shrink)

With the outbreak of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), global researchers were confronted with major challenges. The German National Pandemic Cohort Network (NAPKON) was launched in fall 2020 to effectively leverage resources and bundle research activities in the fight against the coronavirus disease 2019 (COVID-19) pandemic. We analyzed the setup phase of NAPKON as an example for multicenter studies in Germany, highlighting challenges and optimization potential in connecting 59 university and nonuniversity study sites. We examined the ethics application (...) process of 121 ethics submissions considering durations, annotations, and outcomes. Study site activation and recruitment processes were investigated and related to the incidence of SARS-CoV-2 infections. For all initial ethics applications, the median time to a positive ethics vote was less than two weeks and 30 of these study sites (65%) joined NAPKON within less than three weeks each. Electronic instead of postal ethics submission (9.5 days (Q1: 5.75, Q3: 17) vs. 14 days (Q1: 11, Q3: 26), p value = 0.01) and adoption of the primary ethics vote significantly accelerated the ethics application process. Each study center enrolled a median of 37 patients during the 14-month observation period, with large differences depending on the health sector. We found a positive correlation between recruitment performance and COVID-19 incidence as well as hospitalization incidence. Our analysis highlighted the challenges and opportunities of the federated system in Germany. Digital ethics application tools, adoption of a primary ethics vote and standardized formal requirements lead to harmonized and thus faster study initiation processes during a pandemic. (shrink)

This collection of essays is a critical document in Continental philosophy, reflecting its recent history, its present state, and its debt to Calvin O. Schrag. It begins with an overview of philosophy's role and responsibility or "task" and of Schrag's contributions to it, written from the perspective of a resolute defender of the phenomenological tradition that Schrag's work has extended and reconfigured. The essays are organized around the four conceptual figures widely considered Schrag's most significant and original philosophical achievements: transversal (...) rationality, the self after post-modernity, the fourth cultural value sphere, and communication praxis. The authors focus on topics ranging from Cartesian rationality to Foucauldian rational relativism; from transcendence in relation to the self to the Schragean self's connections with discourse, action, and community; from religion's disruptive presence in contemporary philosophy to recent developments in the philosophy of language. (shrink)

The contributors featured in this work engage the reader in a stimulating exchange and dialogue about the post-modern turn in psychoanalysis. They advocate, critique, or simply observe this contemporary phenomenon.

As is clear to any user of software, quality control of software has not reached the same levels of sophistication as it has with traditional manufacturing. In this paper we argue that this is because insufficient thought is being given to the methods of reasoning under uncertainty that are appropriate to this domain. We then describe how we have built a large-scale Bayesian network to overcome the difficulties that have so far been met in software quality control. This exploits a (...) number of recent advances in tool support for constructing large networks. We end the paper by describing how the network was validated and illustrate the range of reasoning styles that can be modelled with this tool. (shrink)

Objections to the use of historical case studies for philosophical ends fall into two categories. Methodological objections claim that historical accounts and their uses by philosophers are subject to various biases. We argue that these challenges are not special; they also apply to other epistemic practices. Metaphysical objections, on the other hand, claim that historical case studies are intrinsically unsuited to serve as evidence for philosophical claims, even when carefully constructed and used, and so constitute a distinct class of challenge. (...) We show that attention to what makes for a canonical case can address these problems. A case study is canonical with respect to a particular philosophical aim when the features relevant to that aim provide a reasonably complete causal account of the results of the historical process under investigation. We show how to establish canonicity by evaluating relevant contingencies using two prominent examples from the history of science: Eddington’s confirmation of Einstein’s theory of general relativity using his data from the 1919 eclipse and Watson and Crick’s determination of the structure of DNA. (shrink)

With service robots becoming more ubiquitous in social life, interaction design needs to adapt to novice users and the associated uncertainty in the first encounter with this technology in new emerging environments. Trust in robots is an essential psychological prerequisite to achieve safe and convenient cooperation between users and robots. This research focuses on psychological processes in which user dispositions and states affect trust in robots, which in turn is expected to impact the behavior and reactions in the interaction with (...) robotic systems. In a laboratory experiment, the influence of propensity to trust in automation and negative attitudes toward robots on state anxiety, trust, and comfort distance toward a robot were explored. Participants were approached by a humanoid domestic robot two times and indicated their comfort distance and trust. The results favor the differentiation and interdependence of dispositional, initial, and dynamic learned trust layers. A mediation from the propensity to trust to initial learned trust by state anxiety provides an insight into the psychological processes through which personality traits might affect interindividual outcomes in human-robot interaction (HRI). The findings underline the meaningfulness of user characteristics as predictors for the initial approach to robots and the importance of considering users’ individual learning history regarding technology and robots in particular. (shrink)

Why do similar scientific enterprises garner unequal public approbation? High energy physics attracted considerable attention in the late-twentieth-century United States, whereas condensed matter physics – which occupied the greater proportion of US physicists – remained little known to the public, despite its relevance to ubiquitous consumer technologies. This paper supplements existing accounts of this much remarked-upon prestige asymmetry by showing that popular emphasis on the mundane technological offshoots of condensed matter physics and its focus on human-scale phenomena have rendered it (...) more recondite than its better-known sibling field. News reports about high energy physics emphasize intellectual achievement; reporting on condensed matter physics focuses on technology. And whereas frontier-oriented rhetoric of high energy physics communicates ideals of human potential, discoveries that smack of the mundane highlight human limitations and fail to resonate with the widespread aspirational vision of science – a consequence I call “the purloined letter effect.”. (shrink)

Over the past 50 years, academic-industrial collaborations and technology transfer have played an increasingly prominent role in the biomedical sciences. These relationships can speed the delivery of innovative drugs and medical technologies to clinical practice, creating important public health benefits as well as income for universities and their faculty. At the same time, they raise ethical concerns, particularly when research involves human subjects in clinical trials. Lapses in oversight of industry sponsored clinical trials at universities, and especially patient deaths in (...) a number of trials, have brought these issues into the public spotlight and have led the federal government to intensify its oversight of clinical research. The leadership of Harvard Medical School convened a group of leaders in academic medicine to formulate guidelines on individual financial conflicts of interest. They and other groups are working to formulate a national consensus on this issue. (shrink)

The University of Chicago was the site of a remarkable ideological alignment after World War II. Its chancellor, Robert Maynard Hutchins, was one of mid-century America’s fiercest critics of science and of the moral stature of scientists. His administration nevertheless forged a détente with Chicago’s physical scientists in the process of establishing the Institutes for Basic Research, which consolidated the personnel and resources the Manhattan Project had brought to campus. Chicago’s left-leaning group of scientists and administrators then made common cause (...) with a series of conservative industrial interests in order to fund the new institutes, on the basis that industry had an obligation to support basic research. This intersection of otherwise divergent ideological strands exposes the institutional malleability of patronage relationships in the years after World War II.†durha. (shrink)

The contingentist/inevitabilist debate contests whether the results of successful science are contingent or inevitable. This article addresses lingering ambiguity in the way contingency is defined in this debate. I argue that contingency in science can be understood as a collection of distinct concepts, distinguished by how they hold science contingent, by what elements of science they hold contingent, and by what those elements are contingent upon. I present a preliminary taxonomy designed to characterize the full-range positions available and illustrate that (...) these constitute a diverse array rather than a spectrum. (shrink)

This volume brings together some of the most distinguished thinkers in the field of theology to consider the question of the meaning of life in the various global religions.

Clinical ethics consultation is largely outside the scope of regulation and oversight, despite its importance. For decades, the bioethics community has been unable to reach a consensus on whether there should be accountability in this work, as there is for other clinical activities that influence the care of patients. The American Society for Bioethics and Humanities, the primary society of bioethicists and scholars in the medical humanities and the organizational home for individuals who perform CEC in the United States, has (...) initiated a two‐step quality attestation process as a means to assess clinical ethics consultants and help identify individuals who are qualified to perform this role. This article describes the process. (shrink)

The arts of rule cover the exercise of power by princes and popular sovereigns, but they range beyond the domain of government itself, extending to civil associations, political parties, and religious institutions. Making full use of political philosophy from a range of backgrounds, this festschrift for Harvey Mansfield recognizes that although the arts of rule are comprehensive, the best government is a limited one.

The twentieth century enjoys a firm grip on our profession. Well over half the research articles published in this journal since 2000 devote significant attention to the period between the 1890s and the 1990s. Similar trends prevail in other leading publications. But this outpouring of scholarship alone does not create a collective sense of how historians of science should confront the twentieth century as an epoch. The synthetic reflection that established the scientific revolution as a historiographical category and lent the (...) nineteenth century a sense of cohesion remains to be undertaken for the twentieth. A panoramic outlook on more recent historical eras is a pressing necessity. Publishing trends suggest that we will confront future methodological questions and navigate our evolving professional identity largely on twentieth-century turf. What, then, defines twentieth-century science? In some ways, this question is naive, even trivial: it surprises no one that the currents of history disdain our thin calendrical embankments. But centuries, decades, and other conventional durations often prove useful for collating practices that shared a family resemblance and naming periods about which we might claim that continuity prevailed over discontinuity. Can the twentieth century offer such utility? The books under review can each be read as an attempt to use the twentieth century in that way and, in so doing, to claim it for a particular vision of how the history of science should be done. (shrink)